Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
311	Prescribed Learning of R.E. Classes Sanjay Jain?1 , Frank Stephan∗2 and Nan Ye3 1 Department of Computer Science, National University of Singapore, Singapore, Republic of Singapore. Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-03-09 06:29:28 Computability theory Inductive inference
312	Molecular Computing Machines M Yaakov Benenson Ehud Shapiro Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2015-01-29 12:27:14 Turing machine Automata theory Models of computation Computability theory Read-only Turing machine Finite-state machine DNA computing Computability Deterministic automaton Theory of computation Theoretical computer science Applied mathematics
313	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
314	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
315	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
316	Models of Computation Lecture 6: Turing Machines [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. In particular, some topics still need to be written. Please send bug reports and suggest Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:13 Computability theory Computer science Alan Turing Models of computation Computability Halting problem Church–Turing thesis Description number Non-deterministic Turing machine Turing machine Theory of computation Theoretical computer science
317	Latent Fault Detection in Cloud Services Mickey Gabela,b,1 , Ran Gilad-Bachracha , Nikolaj Bjørnera , Assaf Schustera,b,1 a Microsoft b Computer Research, Redmond, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-07-13 21:23:13 Turing machine Μ operator Models of computation Computability theory
318	Math. Struct. in Comp. Science 20(1), 2010 Channel Abstractions for Network Security† M I C H E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit` a Ca’ Foscari, Venice. Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-12-01 08:49:54 Computer science Lambda calculus Mathematics Π-calculus Theoretical computer science Applied mathematics Computability theory
319	On the (Im)possibility of Obfuscating Programs∗ Boaz Barak† Oded Goldreich‡ Amit Sahaik Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2012-08-02 17:50:31 Complexity classes Computability theory Theory of computation Pseudorandomness Models of computation Obfuscated code Oracle machine Algorithm P Theoretical computer science Computational complexity theory Applied mathematics
320	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:31 Mathematics Theory of computation Turing machine Models of computation Structure and Interpretation of Computer Programs Scheme Busy beaver Computability Alan Turing Computability theory Theoretical computer science Computer science

UPDATE